<?php
	include 'common.php';
	print_header();
	session_start();
	//Data sent from index.php that is stored into session variables
	if($_SESSION['user'] == NULL){
		$_SESSION['user'] = $_REQUEST["user"];
		//$_SESSION['pwd'] = $_REQUEST["pwd"];
	}
	$user = $_SESSION['user'];
?>		
	
	<div id="userDiv">
		<p id="userName">UserName: <?= $user ?></p>
		<form action="index.php">
			<button type='submit' id="logOut">Log Out</button>
		</form>
	</div>
	<div id="buttonDiv">
		<form action="newInspection.php">
			<button class="buttonsLeft" type="submit">Inspect Lab</button>
		</form>
		<form action="completedLists.php">
			<button type="submit" class="buttonsRight">View Completed Checklists</button>
		</form>
	</div>

<?php
	print_footer();
?>